Multi-Agent Motion Planning From Signal Temporal Logic Specifications

Multi-agent Motion Planning from Signal Temporal Logic Specifications

Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic Specifications

Signal Temporal Logic Compliant Co-design of Planning and Control

MAPS2: Multi-Robot Anytime Motion Planning under Signal Temporal Logic Specifications

Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic

Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization (ICRA 2020)

Christopher Banks

Autonomy Talks - Jana Tumova: Formal Methods for Preferred Motion Planning

Part 1: Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks

DoS-Resilient Multi-Robot Temporal Logic Motion Planning

Resilient Cyber-Physical Systems Lab

A Signal Temporal Logic Planner for Ergonomic Human-Robot Collaboration

Multi-robot Systems Group at FEE-CTU in Prague

Signal Temporal Logic Neural Predictive Control (Supplementary video)

IEEE RAL 2023 - Model Predictive Robustness of Signal Temporal Logic Predicates

TUM Cyber-Physical Systems

A Hierarchical Decoupling Approach for Fast Temporal Logic Motion Planning (specification)

CoRL 2020, Spotlight Talk 498: Learning from Demonstrations using Signal Temporal Logic

Conference on Robot Learning

Part 3: Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks

Learning-Based Model Predictive Control under Signal Temporal Logic Specifications

KR 2021 Tutorial: Planning with Multi-agent, Flexible, Temporal, Epistemic and Contingent Aspects

KR conference series

Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks

Learning-Based Model Predictive Control under Signal Temporal Logic Specifications

Robot Learning Laboratory